Concurrent data structure

Results: 90



#Item
31Scal: Non-Linearizable Computing Breaks the Scalability Barrier Christoph M. Kirsch Hannes Payer

Scal: Non-Linearizable Computing Breaks the Scalability Barrier Christoph M. Kirsch Hannes Payer

Add to Reading List

Source URL: www.cosy.sbg.ac.at

Language: English - Date: 2010-11-04 03:10:40
32C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ;

C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ;

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-05-12 14:24:49
33

PDF Document

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-07-21 20:08:15
341 Concurrent Data Structures 1.1 Designing Concurrent Data Structures . . . . . . . . . . . . . 1-1

1 Concurrent Data Structures 1.1 Designing Concurrent Data Structures . . . . . . . . . . . . . 1-1

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2007-12-18 05:30:18
35TRAINING SHEET  “	Cloudera University is establishing a level of structure in an emerging field. Effectively framing the role helps hiring,

TRAINING SHEET “ Cloudera University is establishing a level of structure in an emerging field. Effectively framing the role helps hiring,

Add to Reading List

Source URL: www.cloudera.com

Language: English - Date: 2015-04-07 03:38:24
36Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson  Alex Aiken

Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-08-29 18:26:40
37NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:19:55
38

PDF Document

Add to Reading List

Source URL: research.ac.upc.edu

Language: English - Date: 2002-03-20 08:48:04
39Concurrent Data Representation Synthesis Peter Hawkins Alex Aiken ∗  Kathleen Fisher †

Concurrent Data Representation Synthesis Peter Hawkins Alex Aiken ∗ Kathleen Fisher †

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2012-03-29 20:04:36
40C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ;

C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ;

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:24:49